Cómo DeepMind AlphaProof Nexus resuelve un problema matemático de 56 años: bucles LLM agentivos y verificación formal Lean
AlphaProof Nexus resuelve un problema matemático de 56 años usando bucles LLM y verificación formal. Una innovación en inteligencia artificial y demostración automática.